home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 60 / 60.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / dashboard.xul < prev    next >
Encoding:
Extensible Markup Language  |  2009-06-30  |  3.1 KB  |  61 lines
  1. <?xml version="1.0"?>
  2. <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
  3.  
  4. <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
  5.  
  6. <page onload="parent.webdeveloper_initializeDashboard()"
  7.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  8.  
  9.     <groupbox>
  10.         <caption label="&webdeveloper.edit.features;"/>
  11.         <hbox align="center">
  12.             <label control="webdeveloper.edit.color.text" value="&webdeveloper.text.color.label;"/>
  13.             <colorpicker id="webdeveloper.edit.color.text" palettename="standard" type="button"/>
  14.             <spacer class="small-spacer"/>
  15.             <label control="webdeveloper.edit.color.background" value="&webdeveloper.background.color.label;"/>
  16.             <colorpicker id="webdeveloper.edit.color.background" palettename="standard" type="button"/>
  17.         </hbox>
  18.         <separator/>
  19.         <hbox align="center">
  20.             <label control="webdeveloper.edit.font.size" value="&webdeveloper.font.size.label;"/>
  21.             <menulist id="webdeveloper.edit.font.size">
  22.                 <menupopup>
  23.                     <menuitem value="8" label="8"/>
  24.                     <menuitem value="9" label="9"/>
  25.                     <menuitem value="10" label="10"/>
  26.                     <menuitem value="11" label="11"/>
  27.                     <menuitem value="12" label="12"/>
  28.                     <menuitem value="13" label="13"/>
  29.                     <menuitem value="14" label="14"/>
  30.                     <menuitem value="15" label="15"/>
  31.                     <menuitem value="16" label="16"/>
  32.                     <menuitem value="18" label="18"/>
  33.                     <menuitem value="20" label="20"/>
  34.                     <menuitem value="24" label="24"/>
  35.                     <menuitem value="26" label="26"/>
  36.                     <menuitem value="28" label="28"/>
  37.                     <menuitem value="32" label="32"/>
  38.                     <menuitem value="36" label="36"/>
  39.                     <menuitem value="40" label="40"/>
  40.                     <menuitem value="48" label="48"/>
  41.                     <menuitem value="56" label="56"/>
  42.                     <menuitem value="64" label="64"/>
  43.                     <menuitem value="72" label="72"/>
  44.                 </menupopup>
  45.             </menulist>
  46.             <spacer class="small-spacer"/>
  47.             <checkbox id="webdeveloper.edit.wrap" label="&webdeveloper.edit.wrap;"/>
  48.         </hbox>
  49.         <separator/>
  50.         <hbox align="center">
  51.             <label control="webdeveloper.edit.update.frequency" value="&webdeveloper.edit.update.frequency;"/>
  52.             <textbox id="webdeveloper.edit.update.frequency" size="4"/>
  53.         </hbox>
  54.     </groupbox>
  55.     <groupbox>
  56.         <caption label="&webdeveloper.open.dashboard;"/>
  57.         <checkbox id="webdeveloper.style.information.dashboard" label="&webdeveloper.style.information.dashboard;"/>
  58.         <checkbox id="webdeveloper.dom.inspector.dashboard" label="&webdeveloper.dom.inspector.dashboard;"/>
  59.         <checkbox id="webdeveloper.error.console.dashboard" label="&webdeveloper.error.console.dashboard;"/>
  60.     </groupbox>
  61. </page>